1. From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
پدیدآورنده : Olaf Owe, Stein Krogdahl, Tom Lyche )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented methods )Computer science(,، Formal methods )Computer science(,، System design
رده :
QA
76
.
L28
Vol
.
2635
2. Validated designs for object-oriented systems
پدیدآورنده : / John Fitzgerald ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design
رده :
QA76
.
9
.
O35
,
V35
2005
3. Validated designs for object-oriented systems
پدیدآورنده : / John Fitzgerald ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design
رده :
QA76
.
9
.
O35
,
V35
2005
